- подстановка N вместо M
- •
The substitution of for .
Русско-английский научно-технический словарь переводчика. Михаил Циммерман, Клавдия Веденеева. 2003.
подстановка N вместо M
Смотреть что такое "подстановка N вместо M" в других словарях:
Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка это операция синтаксической замены подтермов данного терма другими термами, согласно… … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Активность — термодинамическая, величина, характеризующая стремление вещества выделиться из раствора. А. компонента жидкого или твёрдого раствора пропорциональна давлению пара этого компонента над раствором (при условии, что газовая фаза является… … Большая советская энциклопедия
Фугитивность — величина, используемая для расчёта свойств реальных газов (См. Реальный газ) с помощью термодинамических соотношений, выведенных для идеальных газов (См. Идеальный газ) (см. также Газы); введена Г. Льюисом в 1901. Фугитивность f данного… … Большая советская энциклопедия
Унификация — (от. лат. unus один, facio делаю; объединение) приведение к единообразию, к единой форме или системе.[1] Содержание 1 В технике 2 В праве … Википедия
Активность ионов — величина, характеризующая состояние ионов в растворе, подстановка которой вместо концентрации в уравнения, определяющие фазовые или химические равновесия для идеальных растворов, делает эти уравнения применимыми к реальным растворам … Толковый словарь по почвоведению
замена знаков числами — Подстановка чисел вместо знаков. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] Тематики защита информации EN character to number replacement … Справочник технического переводчика
Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… … Википедия
СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… … Математическая энциклопедия
СИНЕКДОХА — (греч., synecdoche понятливость). В стилистике: троп, состоящий в переносном употреблении слов по количеству, напр. поставление целого, вместо части, и наоборот; напр. купить лисицу вместо лисий мех, куплено столько то голов скота вместо целых… … Словарь иностранных слов русского языка
АЛГЕБРА АБСТРАКТНАЯ — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь в двадцатом веке. Занимается главным образом изучением систем, элементы которых… … Энциклопедия Кольера
